Automatic Error Cause Localization of Faulty PLC Programs
نویسندگان
چکیده
منابع مشابه
G4LTL-ST: Automatic Generation of PLC Programs
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of inputoutput signals. These specifications are expressed in a linear temporal logic (LTL) extended with non-linear arithmetic constraints and timing constraints on signals. G4LTL-ST generates code in IEC 61131-3-compatible Structured Text, which is compiled int...
متن کاملTowards Automatic Error Recovery in Robot Programs
Unexpected events can cause the failure of apparently "correct" robot programs. The interaction with the real world and its unpredictability make the problem of error recovery in robot programming specially important. The goal of the paper is to present a general framework in which the activity of error recovery can be automated. This is accomplished by introducing a monitor program which ident...
متن کاملRoot Cause and Error Analysis
Error is an inevitable part of life and cannot be completely eliminated, but it can be minimized. A root cause analysis is a technique for understanding the systematic error causes that is involved beyond a person or people to implement an errors and including field and environmental causes of errors when occur in this situation too. An important factor of an error occurrence is a root cause (c...
متن کاملFormal Verification of PLC Programs
This paper presents an approach to the verification of programs for programmable logic controllers (PLCs) using SMV, a software package for formal verification of state transition systems. Binary PLC programs are converted directly into SMV modules that retain the variable names and execution sequences of the original programs. The system being controlled is modeled by a C/E system block diagra...
متن کاملOn Faults and Faulty Programs
A fault is an attribute of a program that precludes it from satisfying its specification; while this definition may sound clear-cut, it leaves many details unspecified. An incorrect program may be corrected in many different ways, involving different numbers of modifications. Hence neither the location nor the number of of faults may be defined in a unique manner; this, in turn, sheds a cloud o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.06.476